A discrete geometric model of concurrent program execution

A trace of the execution of a concurrent object-oriented program can be displayed in two-dimensions as a diagram of a non-metric finite geometry. The actions of a programs are represented by points, its objects and threads by vertical lines, its transactions by horizontal lines, its communications and resource sharing by sloping arrows, and its partial traces by rectangular figures. We prove informally that the geometry satisfies the laws of Concurrent Kleene Algebra (CKA); these describe and justify the interleaved implementation of multithreaded programs on computer systems with a lesser number of concurrent processors. More familiar forms of semantics (e.g., verification-oriented and operational) can be derived from CKA. Programs are represented as sets of all their possible traces of execution, and non-determinism is introduced as union of these sets. The geometry is extended to multiple levels of abstraction and granularity; a method call at a higher level can be modelled by a specification of the method body, which is implemented at a lower level. The final section describes how the axioms and definitions of the geometry have been encoded in the interactive proof tool Isabelle, and reports on progress towards automatic checking of the proofs in the paper

Environmental controls on the elemental composition of a Southern Hemisphere strain of the coccolithophore Emiliania huxleyi

A series of semi-continuous incubation experiments were conducted with the coccolithophore Emiliania huxleyi strain NIWA1108 (Southern Ocean isolate) to examine the effects of five environmental drivers (nitrate and phosphate concentrations, irradiance, temperature, and partial pressure of CO2 (pCO2)) on both the physiological rates and elemental composition of the coccolithophore. Here, we report the alteration of the elemental composition of E. huxleyi in response to the changes in these environmental drivers. A series of dose–response curves for the cellular elemental composition of E. huxleyi were fitted for each of the five drivers across an environmentally representative gradient. The importance of each driver in regulating the elemental composition of E. huxleyi was ranked using a semi-quantitative approach. The percentage variations in elemental composition arising from the change in each driver between present-day and model-projected conditions for the year 2100 were calculated. Temperature was the most important driver controlling both cellular particulate organic and inorganic carbon content, whereas nutrient concentrations were the most important regulator of cellular particulate nitrogen and phosphorus of E. huxleyi. In contrast, elevated pCO2 had the greatest influence on cellular particulate inorganic carbon to organic carbon ratio, resulting in a decrease in the ratio. Our results indicate that the different environmental drivers play specific roles in regulating the elemental composition of E. huxleyi with wide-reaching implications for coccolithophore-related marine biogeochemical cycles, as a consequence of the regulation of E. huxleyi physiological processes

Placental DNA Methylation Related to Both Infant Toenail Mercury and Adverse Neurobehavioral Outcomes

Background: Prenatal mercury (Hg) exposure is associated with adverse child neurobehavioral outcomes. Because Hg can interfere with placental functioning and cross the placenta to target the fetal brain, prenatal Hg exposure can inhibit fetal growth and development directly and indirectly. Objectives: We examined potential associations between prenatal Hg exposure assessed through infant toenail Hg, placental DNA methylation changes, and newborn neurobehavioral outcomes. Methods: The methylation status of \u3e 485,000 CpG loci was interrogated in 192 placental samples using Illumina’s Infinium HumanMethylation450 BeadArray. Hg concentrations were analyzed in toenail clippings from a subset of 41 infants; neurobehavior was assessed using the NICU Network Neurobehavioral Scales (NNNS) in an independent subset of 151 infants. Results: We identified 339 loci with an average methylation difference \u3e 0.125 between any two toenail Hg tertiles. Variation among these loci was subsequently found to be associated with a high-risk neurodevelopmental profile (omnibus p-value = 0.007) characterized by the NNNS. Ten loci had p \u3c 0.01 for the association between methylation and the high-risk NNNS profile. Six of 10 loci reside in the EMID2 gene and were hypomethylated in the 16 high-risk profile infants’ placentas. Methylation at these loci was moderately correlated (correlation coefficients range, –0.33 to –0.45) with EMID2 expression. Conclusions: EMID2 hypomethylation may represent a novel mechanism linking in utero Hg exposure and adverse infant neurobehavioral outcomes

Delayed presentation of an isolated gallbladder rupture following blunt abdominal trauma: a case report

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

A cluster randomized controlled trial of the effectiveness and cost-effectiveness of Intermediate Care Clinics for Diabetes (ICCD) : study protocol for a randomized controlled trial

Background World-wide healthcare systems are faced with an epidemic of type 2 diabetes. In the United Kingdom, clinical care is primarily provided by general practitioners (GPs) rather than hospital specialists. Intermediate care clinics for diabetes (ICCD) potentially provide a model for supporting GPs in their care of people with poorly controlled type 2 diabetes and in their management of cardiovascular risk factors. This study aims to (1) compare patients with type 2 diabetes registered with practices that have access to an ICCD service with those that have access only to usual hospital care; (2) assess the cost-effectiveness of the intervention; and (3) explore the views and experiences of patients, health professionals and other stakeholders. Methods/Design This two-arm cluster randomized controlled trial (with integral economic evaluation and qualitative study) is set in general practices in three UK Primary Care Trusts. Practices are randomized to one of two groups with patients referred to either an ICCD (intervention) or to hospital care (control). Intervention group: GP practices in the intervention arm have the opportunity to refer patients to an ICCD - a multidisciplinary team led by a specialist nurse and a diabetologist. Patients are reviewed and managed in the ICCD for a short period with a goal of improving diabetes and cardiovascular risk factor control and are then referred back to practice. or Control group: Standard GP care, with referral to secondary care as required, but no access to ICCD. Participants are adults aged 18 years or older who have type 2 diabetes that is difficult for their GPs to control. The primary outcome is the proportion of participants reaching three risk factor targets: HbA1c (≤7.0%); blood pressure (<140/80); and cholesterol (<4 mmol/l), at the end of the 18-month intervention period. The main secondary outcomes are the proportion of participants reaching individual risk factor targets and the overall 10-year risks for coronary heart disease(CHD) and stroke assessed by the United Kingdom Prospective Diabetes Study (UKPDS) risk engine. Other secondary outcomes include body mass index and waist circumference, use of medication, reported smoking, emotional adjustment, patient satisfaction and views on continuity, costs and health related quality of life. We aimed to randomize 50 practices and recruit 2,555 patients

The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang

Evolutionary multi-agent systems (EMAS) play a critical role in many artificial intelligence applications that are in use today. In this paper, we present a new generic skeleton in Erlang for parallel EMAS computations. The skeleton enables us to capture a wide variety of concrete evolutionary computations that can exploit the same underlying parallel implementation. We demonstrate the use of our skeleton on two different evolutionary computing applications: (1) computing the minimum of the Rastrigin function; and (2) solving an urban traffic optimisation problem. We show that we can obtain very good speedups (up to 142.44 ×× the sequential performance) on a variety of different parallel hardware, while requiring very little parallelisation effort.Publisher PDFPeer reviewe